((v1 v2 3) (v1 v3 5) (v2 v3 1) (v1 v4 5) (v2 v4 2) (v3 v4 9))
28
()